Nuprl Definition : es-shift
11,40
postcript
pdf
s
+
r
(
x
,
t
) ==
s
(
x
,
t
+
r
)
latex
Definitions
x
.
A
(
x
)
,
f
(
a
)
,
r
+
s
FDL editor aliases
es-shift
origin
x.A(x)x.A(x)